prove weak duality